تعداد ۴۶ پاسخ غیر تکراری از ۴۶ پاسخ تکراری در مدت زمان ۰,۹۴ ثانیه یافت شد.

1. Algebraic Informatics

پدیدآورنده : \ Andreas Maletti (Ed.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار ,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها

رده :

QA

76

.

76

.

A55

2015

E-Book

,

2. Algebraic informatics :

پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.

رده :

QA76

.

7

3. Algebraic informatics :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Programming languages (Electronic computers) ; Semantics ; Congresses. ;

4. Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September, 9-15, 2000 : advanced lectures

پدیدآورنده : Gilles Barthe...]et al.[ )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics

رده :

QA

76

.

L28

Vol

.

2395

5. Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Programming languages )Electronic computers(-- Syntax-- Congresses

رده :

QA

76

.

7

.

A783

1991

6. Attribute grammars. applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings

پدیدآورنده : H. Alblas, B. Melichar, )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Syntax -- Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

L28

Vol

.

545

7. Conference record : ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002

پدیدآورنده : sponsored by ACM Special Interest Group on Programming Languages )SIGPLAN(; supported by : the University of Aizu

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :

QA

76

.

6

.

P45

2002

8. Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics )DS-6( Stone Mountain, Atlanta, Georgia, U.S.A., May 30 - June 2, 1995

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Data structures )Computer science(,Congresses ، Programming Languages )Electronic computers(-- Semantics

رده :

QA

76

.

9

.

D35

.

I351

1995

9. Formal semantics of Programming languages

پدیدآورنده : Courant Computer Science Symposium, 2d, New York, 0791

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses

رده :

QA

76

.

7

.

C68

1970

10. Language, logic, and computation :

پدیدآورنده : Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.

رده :

QA76

.

9

.

L63

11. Logic, language, and computation

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;

12. Logic, language, and computation :

پدیدآورنده : Nick Bezhanishvili [and others] (editions.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses

رده :

QA76

.

9

.

L63

I57

2009eb

13. Logic, language, and computation

پدیدآورنده : \ [edited by] Martin Aher...[et.al]

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها

رده :

QA

75

.

5

.

L644

2015

E-Book

,

14. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings

پدیدآورنده : edited by Austin Melton

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming

رده :

QA

76

.

L4

v

.

239

15. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings

پدیدآورنده : M. Main...]et al.[ )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics

رده :

QA

76

.

L28

Vol

.

298

16. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses

رده :

QA

76

.

7

.

M378

1988

17. Mathematical foundations of programming semantics :

پدیدآورنده : M. Main, A. Melton, M. Mislove ... [et al.], eds.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.

رده :

QA76

.

7

M535

1990

18. Mathematical foundations of programming semantics : International Coference, Kansas, April 11-12, 1985: Proceedings

پدیدآورنده : edited by Austin Melton

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming

رده :

QA

76

.

L28

Vol

.

239

19. Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings

پدیدآورنده : S. Brookes...]et al.[, eds

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics

رده :

QA

76

.

L28

Vol

.

802

20. Mathematical foundations of programming semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings

پدیدآورنده : S. Brookes...]et al.[, )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics

رده :

QA

76

.

L28

Vol

.

598

»
3
2
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است